On space-bounded synchronized alternating Turing machines
نویسندگان
چکیده
منابع مشابه
Four-Dimensional Synchronized Alternating Turing Machines
Synchronized alternating machine is an alternating machine with a special subset of internal states called synchronizing states. This paper introduces a four-dimensional synchronized alternating Turing machine (4-SATM ), and investigates fundamental properties of 4-SATM ’s. The main topics of this paper are: (1) a relationship between the accepting powers of 4-SATM ’s and four-dimensional alter...
متن کاملSynchronized Alternating Turing Machines on Four-Dimensional Input Tapes
Synchronized alternating machine is an alternating machine with a special subset of internal states called synchronizing states. This paper introduces a four-dimensional synchronized alternating Turing machine (4-SATM ), and investigates fundamental properties of 4-SATM ’s. The main topics of this paper are: (1) a relationship between the accepting powers of 4-SATM ’s and four-dimensional alter...
متن کاملSome Accepting Powers of Three-Dimensional Synchronized Alternating Turing Machines
This paper introduces a three-dimensional synchronized alternating Turing machine (3-SATM), and investigates fundamental properties of 3-SATM ′s whose input tapes are restricted to cubic ones. The main topics of this paper are: (1) a relationship between the accepting powers of 3-SATM ′s and three-dimensional alternating Turing machines with small space bounds, (2) a relationship between the ac...
متن کاملSome Properties of Space-Bounded Synchronized Alternating Turin Machines with Universal States ONly
During the past years many models of parallel computations have arisen. One of them alternation was introduced in [l] as a generalization of nondeterminism. Several types of alternating machines have been introduced and many results about them have been established. Among the most interesting modifications are the alternating machines with universal states only (here, universally branching Turi...
متن کاملSome Results about Hierarchy and Recognizability of Four-Dimensional Synchronized Alternating Turing Machines
The recent advances in computer animation, motion image processing, robotics and so on prompted us to analyze computational complexity of four-dimensional pattern processing. Thus, the research of four-dimensional automata as a computational model of four-dimensional pattern processing has also been meaningful. From this viewpoint, we introduced a four-dimensional alternating Turing machine (4-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1992
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90351-f